1. .....................
Author: Horstmann, Cay
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Automat )Formal language(,، Mathematical notations
Classification :
QA
267
.
3
.
H67
2. .....................
Author: Salomaa, Arto
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Formal language
Classification :
QA
267
.
3
.
S24
3. Algebraic semantics
Author: Guessarian, Ir،ne
Library: Central Library and Documentation Center (Kerman)
Subject: ، Formal language - Semantics
Classification :
QA
76
.
L4
v
.
99
4. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(
Classification :
QA
267
.
5
.
S4
.
I47
1980
5. Communication and concurrency
Author: / Robin, Miler
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Computer systems,Machine theory,Formal language
Classification :
QA
267
.
M53
1989
6. Cryptography,automata and learning theory
Author: / Gnanaraj Thomas
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Computer network - Security measure,Cryptography,Formal language
Classification :
TK5105
.
59
.
T46
2011
7. Elaements de thaeorie des automates.English
Author: Jacques Sakarovitch ; translated by Reuben Thomas
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Machine theory,Automata theory,Automata math,Formal language,Automatentheorie., swd
Classification :
QA
267
.
S22E4
2009
8. Elements of the theory of computation
Author: LEWIS,HARRY R
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: MACHINE THEORY , FORMAL LANGUAGE , COMPUTATIONAL COMPLEXITY
Classification :
QA
267
.
L49
9. Finite-state methods and natural language processing
Author: / Anssi Yli-Jyrea ... [et al.], (Eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Natural language processing (Computer science), Congresses,Formal methods (Computer science), Congresses,Grammar, Comparative and general, Morphology, Data processing, Congresses
Classification :
QA76
.
9
.
N38F76
2010
10. Formal Specification Using Z
Author: / David lightfood,Lightfoot
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Z (Computer Program language),Formal languages
Classification :
QA
76
.
73
.
Z2L5
1991
11. Formal language and their relation to automata
Author: Hopcroft , John E. 9391-
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Formal language,، Machine theory
Classification :
QA
267
.
3
.
H6
12. Groups, Language,and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group...
Author: / Robert H. Gilman
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Geometric group theory-- Congresses,Machine theory-- Congresses,Formal language-- Congresses
Classification :
512
.
2
A528G
13. Introduction to formal language theory
Author: Harrison, Michael A
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Formal language
Classification :
QA
267
.
3
.
H37
14. Investigating Pedagogical Digital Game-Based English Language Learning Formally vs. Informally as Method, Tutor and Tool Among Iranian University Learner-Players
Author: /فلاح وزیرآباد، آیلار
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Digital Game-Based Language Learning, Formal vs. Informal Learning, Kahoot, Phrasal Verb, Phrasal Nerds,بازی دیجیتال آموزش زبان انگلیسیرسمی و غیر رسمی کاهوتباهم آیی ها و فریزال نردز
15. Language Prototyping : An Algebraic specification Approach
Author: Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Mathematical Linguistics,Formal language
Classification :
QA
.
L3M3
267
16. Logic, language, information, and computation
Author: \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
Classification :
P
39
.
L644
2015
E-Book
,
17. Mathematical foundations of computer science, 3rd Symposium at Jadwisin near warsaw, June 17-22, 1974
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming )Elrctronic computers(
Classification :
QA
267
.
5
.
S4
.
S89
1974
18. Mathematical foundations of programming
Author: Beckman, Frank S.
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Logic, symbolic and mathematical,، Formal Language
Classification :
QA
9
.
B36
19. Scientific Applications of Language Methods
Author: \ edited by Carlos Martín-Vide.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal languages,Natural language processig (computer science),زبانهای صوری,پردازش زبان طبیعی,a03,a04,a03,a04
Classification :
QA
267
.
3
.
S28
2011
E-Book
,
20. Scientific applications of language methods
Author: edited by Carlos Martín-Vide.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages.,Natural language processing (Computer science)
Classification :
QA267
.
3
.
M37
2011eb
